Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Production management --- Computer. Automation --- ontwikkeling --- 681.3*D2 --- computernetwerken --- systeemontwikkeling --- programmeertalen --- Programmeertalen --- software ontwikkeling $$ KHKG --- 681.3 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- software ontwikkeling --- 004.4

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

computerarchitectuur --- programmering --- computerbouwstenen --- assembler --- digitale logica --- instructiesysteem --- microarchitectuur --- multicomputer --- computerbasiskennis --- Unix --- Computer architecture. Operating systems --- hardware --- 681.3*A1 --- 681.3*C0 --- 681.31 --- elektrotechniek --- computernetwerken --- systeemontwikkeling --- 681.3 --- Computerarchitectuur --- CPU --- besturingstechniek --- 681.3*A1 Introductory and survey --- Introductory and survey --- Computerwetenschap--?*C0 --- Computerarchitectuur. Informaticahardware. --- Contains audio-visual material --- Computerarchitectuur. Informaticahardware --- 004.2

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Professional knowledge management is imperative for the success of enterprises. One decisive factor for the success of knowledge management projects is the coordination of elements such as corporate culture, enterprise organization, - man resource management, as well as information and communication technology. The proper alignment and balancing of these factors are currently little understood—especially the role of information technology, which is often regarded only as an implementation tool, though it can be a catalyst by making new knowledge management solutions possible. This conference brought together representatives from practical and research fields for discussing experiences, professional applications, and visions through presentations, workshops, tutorials, and an accompanying industry exhibition. The main focus of the conference was the realization of knowledge management strategies with the aid of innovative information technology solutions, such as intelligent access to organizational memories, or integration of business processes and knowledge management. Also of interest were holistic/integrative approaches to knowledge management that deal with issues raised by the intergration of people, organizations, and information technology.

681.3*D2 --- 681.3*I21 --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4} {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4} {681.3*J} --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Computer science. --- Information storage and retrieval. --- Artificial intelligence. --- Application software. --- Education --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Computer Appl. in Administrative Data Processing. --- Computers and Education. --- Data processing. --- Information resources management --- Knowledge management --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer uses in education --- Computers in education --- Educational computing --- Microcomputer uses in education --- Microcomputers in education --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Information Technology --- Artificial Intelligence --- Information storage and retrieva. --- Information systems. --- Education. --- Artificial Intelligence. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Education—Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This comprehensive text_explains the principles and practice of Web services and relates all concepts to practical examples and emerging standards._ Its discussions include: Ontologies Semantic web technologies Peer-to-peer service discovery Service selection Web structure and link analysis Distributed transactions Process modelling Consistency management._ The_application of these technologies_is clearly explained_within the context of_planning, negotiation, contracts, compliance, privacy, and network policies. The_presentation of_the intellectual underpinnings of Web services draws from several key disciplines such as databases, distributed computing, artificial intelligence, and multi-agent systems for techniques and formalisms._ Ideas from these disciplines are united in the context of Web services and service-based applications._ Featuring an accompanying website and teacher's manual that includes a complete set of transparencies for lectures, copies of open-source software for exercises and working implementations, and resources to conduct course projects, this book makes an excellent graduate textbook._ It will also prove an invaluable reference and training tool for_practitioners.

Computer architecture. Operating systems --- Web services --- Web services. --- 681.3*H35 --- 681.3*H34 --- 681.3*D47 --- 681.3*D22 --- 681.3*D211 --- 681.3*D15 --- Internet --- computernetwerken --- programmeertalen --- systeemontwikkeling --- On-line information services: data bank sharing --- Systems and software: current awareness systems; selective dissemination of information; SDI; information networks; question-answering (fact retrieval) systems (Information storage and retrieval) --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Software architectures: data abstractio, domain-specific architectures, information hiding, languages (e.g. description, interconnection, definition), patterns (e.g. client/server, pipeline, blackboard) --- Software: object-oriented programming --- 681.3*D15 Software: object-oriented programming --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*H35 On-line information services: data bank sharing --- 681.3*H34 Systems and software: current awareness systems; selective dissemination of information; SDI; information networks; question-answering (fact retrieval) systems (Information storage and retrieval) --- Application software --- Cloud computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect. The terminology and mind set (Parts 1 and 2), while different from many common approaches, can provide startlingly concise expression of key properties of software systems (Part 3), and give rigorous meaning to entire families of box-and-line architecture drawings. It is applicable to the formal specification, decomposition, and composition of service-oriented architectures." Desmond D'Souza, Kinetium.

Computer software --- Categories (Mathematics) --- Development --- Information Technology --- Software Engineering --- Development. --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematics of Computing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- 681.3*D2 --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Development of computer software --- Software development --- Category theory (Mathematics) --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Topology --- Functor theory --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer science—Mathematics. --- Computer science logic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Computer software - Development